You have chosen search rpm in world FTP resources.
Not enough search parameters. I'm using defaults.
Display 761 - 800 hits of 1035. Search took 0.01 seconds.

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

Search results for coq :

Filename	Distribution	File size
coq-8.7.1-2.fc28.x86_64.rpm	Fedora 28	45422 kB	Info
coq-8.7.1-2.fc28.src.rpm	Fedora 28	5562 kB
coq-8.7.1-2.fc28.i686.rpm	Fedora 28	43577 kB	Info
coq-8.6.1-1.fc27.x86_64.rpm	Fedora 27	73582 kB	Info
coq-8.6.1-1.fc27.src.rpm	Fedora 27	5482 kB
coq-8.6.1-1.fc27.i686.rpm	Fedora 27	71666 kB	Info
coq-8.6-2.fc26.x86_64.rpm	Fedora 26	73074 kB	Info
coq-8.6-2.fc26.src.rpm	Fedora 26	5433 kB
coq-8.6-2.fc26.i686.rpm	Fedora 26	71214 kB	Info
coq-8.6-1.x86_64.rpm	PLD	44466 kB
coq-8.6-1.x32.rpm	PLD	25860 kB
coq-8.6-1.src.rpm	PLD	5424 kB
coq-8.6-1.i686.rpm	PLD	42772 kB
coq-8.6-1.fc25.x86_64.rpm	Fedora 25	67085 kB	Info
coq-8.6-1.fc25.src.rpm	Fedora 25	5433 kB
coq-8.6-1.fc25.i686.rpm	Fedora 25	65555 kB	Info
coq-8.5pl2-1.fc25.x86_64.rpm	Fedora 25	66696 kB	Info
coq-8.5pl2-1.fc25.src.rpm	Fedora 25	5222 kB
coq-8.5pl2-1.fc25.i686.rpm	Fedora 25	65114 kB	Info
coq-8.5pl2-1.fc24.x86_64.rpm	Fedora 24	66702 kB	Info
coq-8.5pl2-1.fc24.src.rpm	Fedora 24	5222 kB
coq-8.5pl2-1.fc24.i686.rpm	Fedora 24	65114 kB	Info
coq-8.5pl1-1.fc24.x86_64.rpm	Fedora 24	66733 kB	Info
coq-8.5pl1-1.fc24.src.rpm	Fedora 24	5266 kB
coq-8.5pl1-1.fc24.i686.rpm	Fedora 24	65143 kB	Info
coq-8.4pl6-4.fc23.x86_64.rpm	Fedora 23	64441 kB	Info
coq-8.4pl6-4.fc23.src.rpm	Fedora 23	4027 kB
coq-8.4pl6-4.fc23.src.rpm	Fedora 23	4028 kB
coq-8.4pl6-4.fc23.i686.rpm	Fedora 23	64021 kB	Info
coq-8.4pl6-2.x86_64.rpm	PLD	43894 kB
coq-8.4pl6-2.x32.rpm	PLD	36816 kB
coq-8.4pl6-2.src.rpm	PLD	4018 kB
coq-8.4pl6-2.i686.rpm	PLD	43575 kB
coq-8.4pl6-1.x86_64.rpm	PLD	43895 kB
coq-8.4pl6-1.x32.rpm	PLD	36825 kB
coq-8.4pl6-1.src.rpm	PLD	4018 kB
coq-8.4pl6-1.i686.rpm	PLD	43585 kB
coq-8.4pl6-1.fc22.x86_64.rpm	Fedora 22	64401 kB	Info
coq-8.4pl6-1.fc22.src.rpm	Fedora 22	4027 kB
coq-8.4pl6-1.fc22.src.rpm	Fedora 22	4027 kB

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26